<?php
$num = 10;
// while ($num > 0) {
//     echo ($num--).'<br>';
// }
while ($num > 0) :
    echo ($num--).'<br>';
endwhile;
// do {
//     if (!isset($num)) {
//         $num = 10;
//     }
//     echo ($num--).'<br>';
// } while ($num > 0);